Vertex operator algebras and operads

Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal to $0$, not just binary products. In this paper, a reformulation of the notion of vertex operator algebra in terms of operads is presented. This reformulation shows that the rich geometric structure revealed in the study of conformal field theory and the rich algebraic structure of the theory of vertex operator algebras share a precise common foundation in basic operations associated with a certain kind of (two-dimensional) ``complex'' geometric object, in the sense in which classical algebraic structures (groups, algebras, Lie algebras and the like) are always implicitly based on (one-dimensional) ``real'' geometric objects. In effect, the standard analogy between point-particle theory and string theory is being shown to manifest itself at a more fundamental mathematical level.Comment: 16 pages. Only the definitions of "partial operad" and of "rescaling group" have been improve

BKM Lie superalgebra for the Z_5 orbifolded CHL string

We study the Z_5-orbifolding of the CHL string theory by explicitly constructing the modular form tilde{Phi}_2 generating the degeneracies of the 1/4-BPS states in the theory. Since the additive seed for the sum form is a weak Jacobi form in this case, a mismatch is found between the modular forms generated from the additive lift and the product form derived from threshold corrections. We also construct the BKM Lie superalgebra, tilde{G}_5, corresponding to the modular form tilde{Delta}_1 (Z) = tilde{Phi}_2 (Z)^{1/2} which happens to be a hyperbolic algebra. This is the first occurrence of a hyperbolic BKM Lie superalgebra. We also study the walls of marginal stability of this theory in detail, and extend the arithmetic structure found by Cheng and Dabholkar for the N=1,2,3 orbifoldings to the N=4,5 and 6 models, all of which have an infinite number of walls in the fundamental domain. We find that analogous to the Stern-Brocot tree, which generated the intercepts of the walls on the real line, the intercepts for the N >3 cases are generated by linear recurrence relations. Using the correspondence between the walls of marginal stability and the walls of the Weyl chamber of the corresponding BKM Lie superalgebra, we propose the Cartan matrices for the BKM Lie superalgebras corresponding to the N=5 and 6 models.Comment: 30 pages, 2 figure

A pp-adic Approach to the Weil Representation of Discriminant Forms Arising from Even Lattices

Suppose that $M$ is an even lattice with dual $M^{*}$ and level $N$. Then the group $Mp_{2}(\mathbb{Z})$, which is the unique non-trivial double cover of $SL_{2}(\mathbb{Z})$, admits a representation $\rho_{M}$, called the Weil representation, on the space $\mathbb{C}[M^{*}/M]$. The main aim of this paper is to show how the formulae for the $\rho_{M}$-action of a general element of $Mp_{2}(\mathbb{Z})$ can be obtained by a direct evaluation which does not depend on ``external objects'' such as theta functions. We decompose the Weil representation $\rho_{M}$ into $p$-parts, in which each $p$-part can be seen as subspace of the Schwartz functions on the $p$-adic vector space $M_{\mathbb{Q}_{p}}$. Then we consider the Weil representation of $Mp_{2}(\mathbb{Q}_{p})$ on the space of Schwartz functions on $M_{\mathbb{Q}_{p}}$, and see that restricting to $Mp_{2}(\mathbb{Z})$ just gives the $p$-part of $\rho_{M}$ again. The operators attained by the Weil representation are not always those appearing in the formulae from 1964, but are rather their multiples by certain roots of unity. For this, one has to find which pair of elements, lying over a matrix in $SL_{2}(\mathbb{Q}_{p})$, belong to the metaplectic double cover. Some other properties are also investigated.Comment: 29 pages, shortened a lo

Borcherds Algebras and N=4 Topological Amplitudes

The perturbative spectrum of BPS-states in the E_8 x E_8 heterotic string theory compactified on T^2 is analysed. We show that the space of BPS-states forms a representation of a certain Borcherds algebra G which we construct explicitly using an auxiliary conformal field theory. The denominator formula of an extension G_{ext} \supset G of this algebra is then found to appear in a certain heterotic one-loop N=4 topological string amplitude. Our construction thus gives an N=4 realisation of the idea envisioned by Harvey and Moore, namely that the `algebra of BPS-states' controls the threshold corrections in the heterotic string.Comment: 39 page

The Impact of Non-Equipartition on Cosmological Parameter Estimation from Sunyaev-Zel'dovich Surveys

The collisionless accretion shock at the outer boundary of a galaxy cluster should primarily heat the ions instead of electrons since they carry most of the kinetic energy of the infalling gas. Near the accretion shock, the density of the intracluster medium is very low and the Coulomb collisional timescale is longer than the accretion timescale. Electrons and ions may not achieve equipartition in these regions. Numerical simulations have shown that the Sunyaev-Zel'dovich observables (e.g., the integrated Comptonization parameter Y) for relaxed clusters can be biased by a few percent. The Y-mass relation can be biased if non-equipartition effects are not properly taken into account. Using a set of hydrodynamical simulations, we have calculated three potential systematic biases in the Y-mass relations introduced by non-equipartition effects during the cross-calibration or self-calibration when using the galaxy cluster abundance technique to constraint cosmological parameters. We then use a semi-analytic technique to estimate the non-equipartition effects on the distribution functions of Y (Y functions) determined from the extended Press-Schechter theory. Depending on the calibration method, we find that non-equipartition effects can induce systematic biases on the Y functions, and the values of the cosmological parameters Omega_8, sigma_8, and the dark energy equation of state parameter w can be biased by a few percent. In particular, non-equipartition effects can introduce an apparent evolution in w of a few percent in all of the systematic cases we considered. Techniques are suggested to take into account the non-equipartition effect empirically when using the cluster abundance technique to study precision cosmology. We conclude that systematic uncertainties in the Y-mass relation of even a few percent can introduce a comparable level of biases in cosmological parameter measurements.Comment: 10 pages, 3 figures, accepted for publication in the Astrophysical Journal, abstract abridged slightly. Typos corrected in version

BPS black holes, the Hesse potential, and the topological string

The Hesse potential is constructed for a class of four-dimensional N=2 supersymmetric effective actions with S- and T-duality by performing the relevant Legendre transform by iteration. It is a function of fields that transform under duality according to an arithmetic subgroup of the classical dualities reflecting the monodromies of the underlying string compactification. These transformations are not subject to corrections, unlike the transformations of the fields that appear in the effective action which are affected by the presence of higher-derivative couplings. The class of actions that are considered includes those of the FHSV and the STU model. We also consider heterotic N=4 supersymmetric compactifications. The Hesse potential, which is equal to the free energy function for BPS black holes, is manifestly duality invariant. Generically it can be expanded in terms of powers of the modulus that represents the inverse topological string coupling constant, $g_s$, and its complex conjugate. The terms depending holomorphically on $g_s$ are expected to correspond to the topological string partition function and this expectation is explicitly verified in two cases. Terms proportional to mixed powers of $g_s$ and $\bar g_s$ are in principle present.Comment: 28 pages, LaTeX, added comment

Tensor hierarchies, Borcherds algebras and E11

Gauge deformations of maximal supergravity in D=11-n dimensions generically give rise to a tensor hierarchy of p-form fields that transform in specific representations of the global symmetry group E(n). We derive the formulas defining the hierarchy from a Borcherds superalgebra corresponding to E(n). This explains why the E(n) representations in the tensor hierarchies also appear in the level decomposition of the Borcherds superalgebra. We show that the indefinite Kac-Moody algebra E(11) can be used equivalently to determine these representations, up to p=D, and for arbitrarily large p if E(11) is replaced by E(r) with sufficiently large rank r.Comment: 22 pages. v2: Published version (except for a few minor typos detected after the proofreading, which are now corrected

BKM Lie superalgebras from counting twisted CHL dyons

Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta products enable us to construct Siegel modular forms that count twisted quarter-BPS states. The square-roots of these Siegel modular forms turn out be precisely a special class of Siegel modular forms, the dd-modular forms, that have been classified by Clery and Gritsenko[arXiv:0812.3962]. We show that each one of these dd-modular forms arise as the Weyl-Kac-Borcherds denominator formula of a rank-three Borcherds-Kac-Moody Lie superalgebra. The walls of the Weyl chamber are in one-to-one correspondence with the walls of marginal stability in the corresponding CHL model for twisted dyons as well as untwisted ones. This leads to a periodic table of BKM Lie superalgebras with properties that are consistent with physical expectations.Comment: LaTeX, 32 pages; (v2) matches published versio

Crossings, Motzkin paths and Moments

Kasraoui, Stanton and Zeng, and Kim, Stanton and Zeng introduced certain $q$-analogues of Laguerre and Charlier polynomials. The moments of these orthogonal polynomials have combinatorial models in terms of crossings in permutations and set partitions. The aim of this article is to prove simple formulas for the moments of the $q$-Laguerre and the $q$-Charlier polynomials, in the style of the Touchard-Riordan formula (which gives the moments of some $q$-Hermite polynomials, and also the distribution of crossings in matchings). Our method mainly consists in the enumeration of weighted Motzkin paths, which are naturally associated with the moments. Some steps are bijective, in particular we describe a decomposition of paths which generalises a previous construction of Penaud for the case of the Touchard-Riordan formula. There are also some non-bijective steps using basic hypergeometric series, and continued fractions or, alternatively, functional equations.Comment: 21 page